📏 Linear Logic

Resource Tracking, Substructural Types, Use-Once Semantics, Session Types

Balance between refactoring and inheritance in your code
github.com·7h·
Discuss: Hacker News
🧪Compiler Testing
Logic Engines: Building Smarter AI with State-Based Truth Tables by Arvind Sundararajan
dev.to·3h·
Discuss: DEV
🎯Finite Automata
What is Algebraic about Algebraic Effects?
interjectedfuture.com·3h
💫Effect Systems
Semantic Dictionary Encoding
falvotech.com·4h·
Discuss: Hacker News
🗂️Type Indexing
Sound Statistical Model Checking for Probabilities and Expected Rewards (extended version)
arxiv.org·15h
⏭️Skip Lists
A formal proof of C∞ISRT
bsky.app·1d·
Discuss: r/LessCredibleDefence
♾️Codata Types
A Slotted Hash Cons for Alpha Invariance
philipzucker.com·40m·
Discuss: Hacker News
🔗Lexical Scoping
How Linear Implemented Multi-Region Support For Customers
blog.bytebytego.com·3h
🛡️Capability VMs
Caffeinated Commits- Day 3
dev.to·2h·
Discuss: DEV
🎓Teaching Compilers
Topological Sort: Managing Mutable Structures in Haskell
mmhaskell.com·10h
🪢Rope Data Structures
SOLID Principles for Python Developers
dev.to·4h·
Discuss: DEV
🎭Racket Modules
Building a Simple Stack-Based Virtual Machine in Go
blog.phakorn.com·12h·
Discuss: r/golang, r/programming
📚Stack Data Structures
The pirate-based logic of Rust shared references
ais523.me.uk·1d·
Discuss: Lobsters, Hacker News
🔒Rust Borrowing
rqlite 9.0: Real-Time Change Data Capture for Distributed SQLite
philipotoole.com·2h·
Discuss: Hacker News, r/golang
🎯Ring Buffers
IETF Draft: Authenticated Transfer Repo and Sync Specification
ietf.org·8h·
Discuss: Hacker News
📡Network Serialization
ECMAScript TC39 proposal-pattern-matching
github.com·5h·
Discuss: Hacker News
🎯Pattern Matching
A Dumb Introduction to z3. Exploring the world of constraint solvers with very simple examples.
asibahi.github.io·21h·
Discuss: Hacker News, r/programming, r/rust
🧩Constraint Solvers
LLMs on a Shoestring: The Dynamic Cache Advantage by Arvind Sundararajan
dev.to·9h·
Discuss: DEV
💾Cache Algorithms
Algebraic Types are not Scary
blog.aiono.dev·8h·
Discuss: Lobsters, Hacker News
✅Type Checking
Coco – Solving the Expression Problem in Standard OO (Java, C#, Scala, ..)
drops.dagstuhl.de·4d·
Discuss: Hacker News
🔮Type Inference Visualization